Mike Holcombe
نویسندگان
چکیده
The generalized stream X-machines (stream X-machines with basic functions replaced by relations and having as output, strings of symbols rather than single symbols) with output delimiter (any output string has at the right end side a special delimiter) are introduced. It is proved that testing methods similar to those already developed for ordinary determi-nistic stream X-machines may be applied for these new mechanisms. A short case study is alsoprovided.
منابع مشابه
Correct systems - building a business process solution
18 7.1 Some state machine theory. 7.2 The theoretical basis for finite state machine testing. 7.3 The theoretical basis for stream X-machine testing.
متن کاملLarge-Scale Modeling of Economic Systems
aMike Holcombe, Simon Coakley, Mariam Kiran bShawn Chin, Chris Greenough, David Worth cSilvano Cincotti, M. Raberto d Andrea Teglio eChristophe Deissenberg f Sander van der Hoog, Herbert Dawid, Simon Gemkow, Philipp Harting gMichael Neugart aDepartment of Computer Science, University of Sheffield bSoftware Engineering Group, Rutherford Appleton Laboratory, STFC cDIME-CINEF, University of Genoa ...
متن کاملA hybrid machine model of rice blast fungus, Magnaporthe grisea.
The fungus, Magnaporthe grisea (Rice blast fungus) is a major agricultural problem affecting rice and related food crops. The way that the fungus invades the host plant and propagates itself is a very important scientific problem and recent advances in research into the genetic basis of these processes can be used to build a simple partial model using hybrid computational modelling techniques. ...
متن کاملDeterministic Stream X - machinesBased on Grammar
This paper investigates the power of the stream X-machines based on cooperating distributed grammar systems which replaces relations by functions. The case of regular rules is considered. The deterministic case is introduced in order to allow the application of some already developed testing strategies. Some conditions for getting equivalent stream X-machines in the = 1 derivation mode are stud...
متن کاملComplete Test Generation for Extreme Programming
Test generation is a key part of the Extreme Programming approach. This paper describes a very powerful functional testing method that generates test sets which can detect all possible faults in a computer program, provided some design for test conditions are satisfied. The basis for this complete test generation method is the X-machine, a simple and elegant way of visualising the dynamics of a...
متن کاملA Hybrid Projection Temporal Logic for Hybrid Systems
This paper proposes a speciication language, Hybrid Projection Temporal Logic (HPTL), for the purpose of modelling, analyzing and verifying hybrid systems consisting of a non-trivial mixture of discrete and continuous components. The syntax and semantics of HPTL are presented, and some examples of hybrid systems are modelled with HPTL to illustrate the formalism.
متن کامل